Adaptive Logics for Question Evocation
نویسنده
چکیده
In this paper, I present two adaptive logics for Wísniewski’s notion of question evocation. The first is based on an erotetic extension of Classical Logic, the second on an erotetic extension of S5. For both logics, I present the semantics and the dynamic proof theory. The latter is especially important in view of the fact that question evocation is a non-monotonic relation for which there is no positive test. Thanks to its dynamical character, the proof theory moreover solves the logical omniscience problem to which Wísniewski’s static definition of question evocation leads.
منابع مشابه
Erotetic Arguments from Inconsistent Premises∗
The aim of this paper is to generalize two basic concepts of Wísniewski’s theory of questions, namely question evocation and question generation, to the inconsistent case. For both concepts, I shall present three alternative definitions. Each of these is based on a prioritized adaptive logic. I shall show that, for the consistent case, each of the alternative definitions leads to the same resul...
متن کاملTruth Values and Connectives in Some Non-Classical Logics
The question as to whether the propositional logic of Heyting, which was a formalization of Brouwer's intuitionistic logic, is finitely many valued or not, was open for a while (the question was asked by Hahn). Kurt Gödel (1932) introduced an infinite decreasing chain of intermediate logics, which are known nowadays as Gödel logics, for showing that the intuitionistic logic is not finitely (man...
متن کاملAn Axiomatic Account of Question Evocation: The Propositional Case
An axiomatic system for question evocation in Classical Propositional Logic is proposed. Soundness and completeness of the system are proven.
متن کاملDiderik Batens CRITERIA CAUSING INCONSISTENCIES. GENERAL GLUTS AS OPPOSED TO NEGATION GLUTS
This paper studies the question: How should one handle inconsistencies that derive from the inadequacy of the criteria by which one approaches the world. I compare several approaches. The adaptive logics defined from CLuN appear to be superior to the others in this respect. They isolate inconsistencies rather than spreading them, and at the same time allow for genuine deductive steps from incon...
متن کاملINCONSISTENCY–ADAPTIVE MODAL LOGICS On How to Cope with Modal Inconsistency
In this paper, I will characterize a new class of inconsistency–adaptive logics, namely inconsistency–adaptive modal logics. These logics cope with inconsistencies in a modal context. More specifically, when faced with inconsistencies, inconsistency–adaptive modal logics avoid explosion, but still allow the derivation of sufficient consequences to adequately explicate the intended part of human...
متن کامل